dfa in toc examples